Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
161	Microsoft Word - PiecewiseLinCombined32.doc Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-21 14:41:50 Implicant Binary decision diagram Function Polynomial Vector space Constructible universe Mathematics Algebra Boolean algebra
162	Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-09-09 05:54:53 Boolean algebra Graphical models Materials science Reliability engineering Survival analysis Binary decision diagram Connectivity Reliability Directed acyclic graph Statistics Systems engineering Systems science
163	ICM satellite event on logic and set theory Abstract of talks Joan Bagaria Structural Reﬂection and the Hierarchy of C(n) cardinals We introduce ﬁrst a new kind of reﬂection principle for the universe of all sets: Add to Reading List Source URL: ali.cmi.ac.in Language: English - Date: 2010-08-13 05:01:47 Forcing Boolean algebra Order theory Topology Descriptive set theory Borel set Model theory Set theory Interior algebra Mathematical logic Mathematics Logic
164	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
165	SOME HISTORICAL REMARKS ON SWITCHING THEORY Radomir S. Stankovi´c1 , Jaakko T. Astola2 , Mark G. Karpovsky3 1 2 Add to Reading List Source URL: ticsp.cs.tut.fi Language: English - Date: 2008-03-20 17:53:22 Electronic engineering Fellows of the Royal Society Electronic design Electronic design automation George Boole Mathematical logic Boolean algebra Claude Shannon The Laws of Thought Mathematics Algebraic logic Science
166	Big Lottery Fund International Communities Checklist Organisation & delivery Are you a UK-based non-governmental organisation (NGO) or voluntary and community sector (VCS) organisation? Add to Reading List Source URL: www.hubcymru.org.uk Language: English - Date: 2013-05-28 06:33:23 Boolean algebra Probability theory Independence Statistical dependence
167	Verifying Relative Error Bounds using Symbolic Simulation Jesse Bingham and Joe Leslie-Hurd Intel Corporation, Hillsboro, U.S.A Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-07-24 18:40:33 Function FO Boolean algebra Mathematics Floor and ceiling functions Mathematical notation
168	NEG Electronic Application System (eSystem) User Guide Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2015-05-19 14:27:07 Logic in computer science Automated theorem proving Boolean algebra Rules of inference
169	WSU College of Education Teacher Education Program Mathematics Endorsement Requirements: 44 Credit Hours Name: _____________________________________________WSU ID #: ____________________________ Add to Reading List Source URL: education.wsu.edu Language: English Boolean algebra Propositional calculus Linear algebra Logical conjunction Lattice theory Skew lattice Differential calculus over commutative algebras Abstract algebra Algebra Mathematics
170	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus

UPDATE